This is the first systematic survey of modern nominalistic reconstructions of mathematics, and for this reason alone it should be read by everyone interested in the philosophy of mathematics and, more generally, in questions concerning abstract entities. In the bulk of the book, the authors sketch a common formal framework for nominalistic reconstructions, outline three major strategies such reconstructions can follow, and locate proposals in the literature with respect to these strategies. The discussion is presented with admirable precision and clarity, (...) and should be accessible even to readers with only minimal background in logic and mathematics. There will be many who will turn directly to these pages and use them as a brief manual on the state of the art of nominalism in mathematics. But the most intriguing parts of this elegant book—at least in my view—are the introduction and the conclusion, where the authors examine the significance of reconstructive nominalism. (shrink)

We show that the D A -unification problem is undecidable. That is, given two binary function symbols $\bigoplus$ and $\bigotimes$ , variables and constants, it is undecidable if two terms built from these symbols can be unified provided the following D A -axioms hold: \begin{align*}(x \bigoplus y) \bigotimes z &= (x \bigotimes z) \bigoplus (y \bigotimes z),\\x \bigotimes (y \bigoplus z) &= (x \bigotimes y) \bigoplus (x \bigotimes z),\\x \bigoplus (y \bigoplus z) &= (x \bigoplus y) \bigoplus z.\end{align*} Two terms (...) are D A -unifiable (i.e. an equation is solvable in D A ) if there exist terms to be substituted for their variables such that the resulting terms are equal in the equational theory D A . This is the smallest currently known axiomatic subset of Hilbert's tenth problem for which an undecidability result has been obtained. (shrink)

We show that the $\mathrm{D_A}$-unification problem is undecidable. That is, given two binary function symbols $\bigoplus$ and $\bigotimes$, variables and constants, it is undecidable if two terms built from these symbols can be unified provided the following $\mathrm{D_A}$-axioms hold: \begin{align*}(x \bigoplus y) \bigotimes z &= (x \bigotimes z) \bigoplus (y \bigotimes z),\\x \bigotimes (y \bigoplus z) &= (x \bigotimes y) \bigoplus (x \bigotimes z),\\x \bigoplus (y \bigoplus z) &= (x \bigoplus y) \bigoplus z.\end{align*} Two terms are $\mathrm{D_A}$-unifiable (i.e. an equation (...) is solvable in $\mathrm{D_A}$) if there exist terms to be substituted for their variables such that the resulting terms are equal in the equational theory $\mathrm{D_A}$. This is the smallest currently known axiomatic subset of Hilbert's tenth problem for which an undecidability result has been obtained. (shrink)

Three studies examined how members of a national group react to in-group wrongdoings. We expected that perceived in-group moral superiority would lead to unwillingness to repair the aggression. We also expected that internal-focused emotions such as group-based guilt and group-based shame would predict specific, misdeed-related reparative intentions but not general approach motivation toward the victim groups. In Study 1, facing the in-group’s recent aggression, participants who believed that the Hungarians have been more moral throughout their history than members of other (...) nations, used more exonerating cognitions, experienced less in-group critical emotions and showed less willingness to provide reparations for the members of the victim group. Study 2 and Study 3 confirmed most findings of Study 1. Perceived in-group moral superiority directly or indirectly reduced willingness to provide either general or specific reparations, while internally focused in-group critical emotions predicted specific misdeed-related reparative intentions but not general approach motivation. The role of emotional attachment to the in-group is considered. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

This article provides current Schwartz Values Survey (SVS) data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societal-level analyses. At the individual-level, we report on the ten circumplex values sub-dimensions and two sets of values dimensions (collectivism and individualism; openness to change, conservation, self-enhancement, and self-transcendence). At the societal-level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective (...) autonomy, intellectual autonomy, egalitarianism, and harmony. For each society, we report the Cronbach’s α statistics for each values dimension scale to assess their internal consistency (reliability) as well as report interrater agreement (IRA) analyses to assess the acceptability of using aggregated individual level values scores to represent country values. We also examined whether societal development level is related to systematic variation in the measurement and importance of values. Thus, the contributions of our evaluation of the SVS values dimensions are two-fold. First, we identify the SVS dimensions that have cross-culturally internally reliable structures and within-society agreement for business professionals. Second, we report the society cultural values scores developed from the twenty-first century data that can be used as macro-level predictors in multilevel and single-level international business research. (shrink)

Introduction: Physical distancing under the coronavirus disease 2019 pandemic had a significant impact on lifestyles, including exercise routines. In this study, we examined the relationship between mental health and addictive behaviors, such as excessive exercise and the use of image and performance enhancing drugs across 12 sport disciplines.Materials and methods: A large cross-sectional sample of the adult population was surveyed. The mean age was 33.09. The number of male participants was 668. The use of IPEDs was assessed in conjunction with (...) psychometric measures such as the Exercise Addiction Inventory and the Appearance Anxiety Inventory. The participants were grouped into activity group and non-activity group according to the presence or absence of their exercise habits. The results were compared between these groups, as well as across sport disciplines, while taking into account the relationship between different psychological measures and IPEDs consumption.Results: The frequency of IPEDs use was higher among AG than NAG, although AG participants reported less history of addictions than NAG. The logistic regression analysis revealed that scores equal to or above cutoff points, in both the EAI and AAI, predicted the IPEDs use. Regarding the differences across the various sport disciplines, those who were involved in practicing Weight Lifting and Cross Fit were found to be more at risk of excessive exercising and more inclined to use a wide range of IPEDs.Conclusions: Although exercise could help to increase well-being and prevent addictions during the COVID-19 pandemic, our results show that those in the AG are particularly vulnerable to excessive IPEDs use. Sport disciplines associated with higher EAI and AAI scores have also shown a higher tendency to excessive IPEDs use. Furthermore, the factor of having above the cutoff scores in EAI or AAI in each sport could indicate larger IPEDs consumption regardless of the discipline. In light of the current findings, it is necessary to better define the “non-excessive” levels of exercise in various sport disciplines and an adequate intake of IPEDs to ensure the safety and well-being of people during a pandemic. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra $\cS$ in a probability measure space $(\cS,p)$ is called a Reichenbachian common cause system for the correlated pair $A,B$ of events in $\cS$ if any two elements in the partition behave like a Reichenbachian common cause and its complement, the cardinality of the index set $I$ is called the size of the common cause system. It is shown that given any correlation in $(\cS,p)$, and given any finite size $n>2$, the probability space (...) $(\cS,p)$ can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size $n$ for the correlation. It also is shown that every totally ordered subset in the partially ordered set of all partitions of \cS$ contains only one Reichenbachian common cause system. Some open problems concerning Reichenbachian common cause systems are formulated. (shrink)

A partition $\{C_i\}_{i\in I}$ of a Boolean algebra Ω in a probability measure space (Ω, p) is called a Reichenbachian common cause system for the correlation between a pair A,B of events in Ω if any two elements in the partition behave like a Reichenbachian common cause and its complement; the cardinality of the index set I is called the size of the common cause system. It is shown that given any non-strict correlation in (Ω, p), and given any finite (...) natural number n > 2, the probability space (Ω,p) can be embedded into a larger probability space in such a manner that the larger space contains a Reichenbachian common cause system of size n for the correlation. (shrink)

This article provides current Schwartz Values Survey data from samples of business managers and professionals across 50 societies that are culturally and socioeconomically diverse. We report the society scores for SVS values dimensions for both individual- and societallevel analyses. At the individual- level, we report on the ten circumplex values sub- dimensions and two sets of values dimensions. At the societal- level, we report on the values dimensions of embeddedness, hierarchy, mastery, affective autonomy, intellectual autonomy, egalitarianism, and harmony. For each (...) society, we report the Cronbach' s? statistics for each values dimension scale to assess their internal consistency as well as report interrater agreement analyses to assess the acceptability of using aggregated individual level values scores to represent country span sp. (shrink)

I propose that paradigmatic cases of self-deception satisfy the following conditions: (a) the person who is self-deceived about not-P pretends (in the sense of makes-believe or imagines or fantasizes) that not-P is the case, often while believing that P is the case and not believing that not-P is the case; (b) the pretense that not-P largely plays the role normally played by belief in terms of (i) introspective vivacity and (ii) motivation of action in a wide range of circumstances. Understanding (...) self-deception in this way is highly natural. And it provides a non-paradoxical characterization of the phenomenon that explains both its distinctive patterns of instability and its ordinary association with irrationality. Why, then, has this diagnosis been overlooked? I suggest that the oversight is due to a failure to recognize the philosophical significance of a crucial fact about the human mind, namely, the degree to which attitudes other than belief often play a central role in our mental and practical lives, both by "influenc[ing our]... passions and imagination," and by "governing.. .our actions.". (shrink)

The aim of this article is to expand the diet of examples considered in philosophical discussions of imagination and pretense, and to offer some preliminary observations about what we might learn about the nature of imagination as a result. The article presents a number of cases involving imaginative contagion: cases where merely imagining or pretending that P has effects that we would expect only perceiving or believing that P to have. Examples are offered that involve visual imagery, motor imagery, fictional (...) emotions, and social priming. It is suggested that imaginative contagion is a more prevalent phenomenon than has typically been recognized. (shrink)

The upheavals of late eighteenth century Europe encouraged people to demand greater liberties, including the freedom to explore the natural world, individually or as part of investigative associations. The Moravian Agricultural and Natural Science Society, organized by Christian Carl André, was one such group of keen practitioners of theoretical and applied scientific disciplines. Headquartered in the “Moravian Manchester” Brünn, the centre of the textile industry, society members debated the improvement of sheep wool to fulfil the needs of the Habsburg armies (...) fighting in the Napoleonic Wars. Wool, as the raw material of soldiers' clothing, could influence the war’s outcome. During the early nineteenth century, wool united politics, economics, and science in Brno, where breeders and natural scientists investigated the possibilities of increasing wool production. They regularly discussed how “climate” or “seed” characteristics influenced wool quality and quantity. Breeders and academics put their knowledge into immediate practice to create sheep with better wool traits through consanguineous matching of animals and artificial selection. This apparent disregard for the incest taboo, however, was viewed as violating natural laws and cultural norms. The debate intensified between 1817 and 1820, when a Hungarian veteran soldier, sheep breeder, and self-taught natural scientist, Imre Festetics, displayed his inbred Mimush sheep, which yielded wool extremely well suited for the fabrication of light but strong garments. Members of the Society questioned whether such “bastard sheep” would be prone to climatic degeneration, should be regarded as freaks of nature, or could be explained by natural laws. The exploration of inbreeding in sheep began to be distilled into hereditary principles that culminated in 1819 with Festetics’s “laws of organic functions” and “genetic laws of nature,” four decades before Gregor Johann Mendel’s seminal work on heredity in peas. (shrink)

BackgroundAge related differences were found in prevention behavior, showing that older individuals tend to be the most proactive. The aim of the study was the identification of psychological predictors on COVID-19 prevention behavior in women, across four generations. In addition, the predictive role of the psychological variables was explored through the lens of negative and positive information processing perspective on total and domain-specific COVID-19 prevention behavior.MethodsA cross-sectional research was conducted. The sample included 834 Hungarian speaking women. The assessed variables were: (...) COVID-19 knowledge, risk perception, COVID-19 health anxiety, negative automatic thoughts, psychological flexibility, and four domains of COVID-19 prevention behavior (social distancing, general hygiene, information seeking, health behavior). A three-level hierarchical linear regression analysis was conducted to investigate the predictors of preventive behavior in each generation.ResultsA diversity across generations was found. In case of baby boomer generation, the final model explained 32.4% of the variance for total prevention behavior [F(14,215) = 8.847,p< 0.001], and only perceived risk made a significant contribution. For Gen X the final model accounted for 21.1% of variance of total prevention behavior [F(14,341) = 7.788,p< 0.001], marital status, perceived risk, COVID-19 health anxiety, and negative automatic thoughts made significant contributions. In case of Gen Y the final model accounted for 6.2% of variance on total prevention behavior [F(14,147) = 1.761,p= 0.05], only perceived risk had a contribution to the final model. For Gen Z the final model accounted for 23.4% of variance on total preventive behavior [F(13,71) = 2.979,p= 0.002], and only psychological flexibility made a contribution to the model. The results on the distinct domains of COVID-19 prevention behavior emphasized details in the dissimilarity among generations.ConclusionThe role of generational identity on COVID-19 prevention behavior is relevant. The coexistence of negative and positive information processing may have its beneficial role in certain areas of prevention. (shrink)

The death of Imre Lakatos on February 2, 1974 was a personal and philosophical loss to the worldwide circle of his friends, colleagues and students. This volume reflects the range of his interests in mathematics, logic, politics and especially in the history and methodology of the sciences. Indeed, Lakatos was a man in search of rationality in all of its forms. He thought he had found it in the historical development of scientific knowledge, yet he also saw rationality endangered (...) everywhere. To honor Lakatos is to honor his sharp and aggressive criticism as well as his humane warmth and his quick wit. He was a person to love and to struggle with. PAUL K. FEYERABEND ROBERT S. COHEN MARX W. WARTOFSKY TABLE OF CONTENTS Preface VII JOHN WORRALL / Imre Lakatos : Philosopher of Mathematics and Philosopher of Science JOSEPH AGASSI / The Lakatosian Revolution 9 23 D. M. ARMSTRONG / Immediate Perception w. W. BAR TLEY, III/On Imre Lakatos 37 WILLIAM BERKSON / Lakatos One and Lakatos Two: An Appreciation 39 I. B. COHEN / William Whewell and the Concept of Scientific Revolution 55 L. JONATHAN COHEN / How Can One Testimony Corroborate Another? 65 R. S. COHEN / Constraints on Science 79 GENE D'AMOUR/ Research Programs, Rationality, and Ethics 87 YEHUDA ELKANA / Introduction: Culture, Cultural System and Science 99 PA UL K. (shrink)

Cognitive architectures - task-general theories of the structure and function of the complete cognitive system - are sometimes argued to be more akin to frameworks or belief systems than scientific theories. The argument stems from the apparent non-falsifiability of existing cognitive architectures. Newell was aware of this criticism and argued that architectures should be viewed not as theories subject to Popperian falsification, but rather as Lakatosian research programs based on cumulative growth. Newell's argument is undermined because he failed to demonstrate (...) that the development of Soar, his own candidate architecture, adhered to Lakatosian principles. This paper presents detailed case studies of the development of two cognitive architectures, Soar and ACT-R, from a Lakatosian perspective. It is demonstrated that both are broadly Lakatosian, but that in both cases there have been theoretical progressions that, according to Lakatosian criteria, are pseudo-scientific. Thus, Newell's defense of Soar as a scientific rather than pseudo-scientific theory is not supported in practice. The ACT series of architectures has fewer pseudo-scientific progressions than Soar, but it too is vulnerable to accusations of pseudo-science. From this analysis, it is argued that successive versions of theories of the human cognitive architecture must explicitly address five questions to maintain scientific credibility. (shrink)

How happy it is to recall Imre Lakatos. Now, fifteen years after his death, his intelligence, wit, generosity are vivid. In the Preface to the book of Essays in Memory of Imre Lakatos, the editors wrote:... Lakatos was a man in search of rationality in all of its forms. He thought he had found it in the historical development of scientific knowledge, yet he also saw rationality endangered everywhere. To honor Lakatos is to honor his sharp and aggressive (...) criticism as well as his humane warmth and his quick wit. He was a person to love and to struggle with. The book before us carries old and new friends of that Lakatosian spirit further into the issues which he wanted to investigate. That the new friends include a dozen scientific, historical and philosophical scholars from Greece would have pleased Lakatos very much, and with an essay from China, he would have smiled all the more. But the key lies in the quality of these papers, and in the imaginative organization of the conference at Thessaloniki in summer 1986 which worked so well. (shrink)

The thirty year long friendship between Imre Lakatos and the classic scholar and historian of mathematics Árpád Szabó had a considerable influence on the ideas, scholarly career and personal life of both scholars. After recalling some relevant facts from their lives, this paper will investigate Szabó's works about the history of pre-Euclidean mathematics and its philosophy. We can find many similarities with Lakatos' philosophy of mathematics and science, both in the self-interpretation of early axiomatic Greek mathematics as Szabó reconstructs (...) it, and in the general overview Szabó provides us about the turn from the intuitive methods of Greek mathematicians to the strict axiomatic method of Euclid's Elements. As a conclusion, I will argue that the correct explanation of these similarities is that in their main works they developed ideas they had in common from the period of intimate intellectual contact in Hungarian academic life in the mid-twentieth century. In closing, I will recall some relevant features of this background that deserve further research. (shrink)

Philosophers and linguists alike tend to call a semantic theory ‘Russellian’ just in case it assigns to sentences in which definite descriptions occur the truth-conditions Russell did in ‘On Denoting’. This is unfortunate; not all aspects of those particular truth-conditions do explanatory work in Russell's writings. As far as the semantics of descriptions is concerned, the key insights of ‘On Denoting’ are that definite descriptions are not uniformly referring expressions, and that they are scope-bearing elements. Anyone who accepts these two (...) claims can account for Russell's puzzle cases the way he did. Russell had no substantive argument for the claim that ‘The F is G’ entails ‘There is at most one F’; in fact, he had important misgivings about it. I outline an argument against this claim, and I argue that by holding on to uniqueness contemporary semanticists make a momentous mistake: they keep the illusion alive that there is a way to account for linguistic meaning without addressing what linguistic expressions are for. (shrink)